汽配件颜色喷涂顺序问题的TSP转化与建模

汽配件颜色喷涂顺序问题通常以生产线上相邻汽配件颜色切换次数少为最优目标,以进一步降低生产成本.该类问题具有所有汽配件都必须喷涂一次且只喷涂一次的特点,为此提出了TSP转化与建模的方法.将待喷涂汽配件定义为TSP顶点,任意两个待喷涂汽配件的颜色切换定义为顶点的距离,仿照TSP问题构建0-1规划模型;类似于顶点距离,将某些汽配件的颜色或类别不相邻要求定义为0-1矩阵,巧妙地构造了喷涂生产的约束条件.该建模方法简单快速,通用性高,适用于具有类似特点的各类生产实践问题.     

Optimisation of the ultrasound-assisted extraction of betalains and polyphenols from Amaranthus hypochondriacus var. Nutrisol

The present study optimised the ultrasound-assisted extraction (UAE) of bioactive compounds from Amaranthus hypochondriacus var. Nutrisol. Influence of temperature (25.86–54.14 °C) and ultrasonic power densities (UPD) (76.01–273.99 mW/mL) on total betalains (BT), betacyanins (BC), betaxanthins (BX), total polyphenols (TP), antioxidant activity (AA), colour parameters (L*, a*, and b*), amaranthine (A), and isoamaranthine (IA) were evaluated using response surface methodology. Moreover, betalain extraction kinetics and mass transfer coefficients (K_La) were determined for each experimental condition. BT, BC, BX, TP, AA, b*, K_La, and A were significantly affected (p < 0.05) by temperature extraction and UPD, whereas L*, a*, and IA were only affected (p < 0.05) by temperature. All response models were significantly validated with regression coefficients (R²) ranging from 87.46 to 99.29%. BT, A, IA, and K_La in UAE were 1.38, 1.65, 1.50, and 29.93 times higher than determined using conventional extraction, respectively. Optimal UAE conditions were obtained at 41.80 °C and 188.84 mW/mL using the desired function methodology. Under these conditions, the experimental values for BC, BX, BT, TP, AA, L*, a*, b*, K_La, A, and IA were closely related to the predicted values, indicating the suitability of the developed quadratic models. This study proposes a simple and efficient UAE method to obtain betalains and polyphenols with high antioxidant activity, which can be used in several applications within the food industry.     

The Picone identity: A device to get optimal uniqueness results and global dynamics in Population Dynamics

This paper infers from a generalized Picone identity the uniqueness of the stable positive solution for a class of semilinear equations of superlinear indefinite type, as well as the uniqueness and global attractivity of the coexistence state in two generalized diffusive prototypes of the symbiotic and competing species models of Lotka–Volterra. The optimality of these uniqueness theorems reveals the tremendous strength of the Picone identity.     

Classify the Higgs decays with the PFN and ParticleNet at electron–positron colliders

Various Higgs factories are proposed to study the Higgs boson precisely and systematically in a model- independent way. In this study, the Particle Flow Network and ParticleNet techniques are used to classify the Higgs decays into multicategories, and the ultimate goal is to realize an "end-to-end" analysis. A Monte Carlo simulation study is performed to demonstrate the feasibility, and the performance looks rather promising. This result could be the basis of a "one-stop" analysis to measure all the branching fractions of the Higgs decays simultaneously.     

Design,synthesis and evaluation of novel dehydroabietic acid-dithiocarbamate hybrids as potential multi-targeted compounds for tumor cytotoxicity

In the present study, novel representatives of the important group of biologically-active, dehydroabietic acid-bearing dithiocarbamate moiety, were synthesized and characterized by ¹H NMR, ¹³C NMR, HR-MS. The in vitro antiproliferative activity evaluation (MTT) indicated that these compounds exhibited potent inhibitory activities in various cancer cell lines (HepG-2, MCF-7, HeLa, T-24, MGC-803). Particularly, compound III-b possessed extraordinary cytotoxicity with low micromolar IC₅₀ values ranging from 4.07 to 38.84 µM against tested cancer cell lines, while displayed weak cytotoxicity on two normal cell lines (LO-2 and HEK 293 T). Subsequently, the potential mechanisms of representative compound III-b were elementarily investigated by Transwell experiment, which showed III-b can inhibit cancer cells migration. Annexin-V/PI dual staining showed that the compound can induce HepG-2 cells apoptosis in a dose-dependent manner. Meanwhile this apoptosis may be related to the upregulated protein expression of cleaved-caspase 3, cleaved-caspase 9, Bax and downregulated of Bcl-2 indicated by Western Blot. Later study further confirmed that ROS levels in HepG-2 cells increased significantly with the rise of concentrations. In addition, through the network pharmacology data analyzing, the core targets and signaling pathways of compound III-b for treatment of liver neoplasms were forecasted. Molecular docking model showed that compound III-b had high affinity with hub targets (CASP3, EGFR, HSP90AA1, MAPK1, ERBB2, MDM2), suggesting that compound III-b might target the hub protein to modulate signaling activity. Taken together, these data indicated that dehydroabietic acid structural modification following the “Molecular hybridization” principle is a feasible way to discover the potential multi-targeted antitumor compounds.     

A nonlinear model for marble sulphation including surface rugosity and mechanical damage

Here we propose and analyze a mathematical model that aims to describe the marble sulphation process occurring in a given material. The model accounts for rugosity as well as for damaging effects. This model is characterized by some technical difficulties that seem hard to overcome from a theoretical viewpoint. Therefore, we introduce some physically reasonable modifications in order to establish the existence of a suitable notion of solution on a given time interval. Numerical simulations are presented and discussed, also in view of further research.     

计算代数方程组孤立奇异解的符号数值方法

求解代数方程组是计算代数几何的最基本问题之一,孤立奇异解的计算则是其中最具挑战性的课题之一,在科学与工程计算中有着广泛的应用,如机器人、计算机视觉、机器学习、人工智能、运筹学、密码学和控制论等.本文结合作者的研究成果,综述了符号数值方法在计算代数系统孤立奇异解、特别是近似奇异解精化与验证方面的研究进展,并对未来的研究方向提出了展望.     

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

The satisfiability (SAT) problem is a core problem in computer science. Existing studies have shown that most industrial SAT instances can be effectively solved by modern SAT solvers while random SAT instances cannot. It is believed that the structural characteristics of different SAT formula classes are the reasons behind this difference. In this paper, we study the structural properties of propositional formulas in conjunctive normal form (CNF) by the principle of structural entropy of formulas. First, we used structural entropy to measure the complex structure of a formula and found that the difficulty solving the formula is related to the structural entropy of the formula. The smaller the compressing information of a formula, the more difficult it is to solve the formula. Secondly, we proposed a λ-approximation strategy to approximate the structural entropy of large formulas. The experimental results showed that the proposed strategy can effectively approximate the structural entropy of the original formula and that the approximation ratio is more than 92%. Finally, we analyzed the structural properties of a formula in the solution process and found that a local search solver tends to select variables in different communities to perform the next round of searches during a search and that the structural entropy of a variable affects the probability of the variable being flipped. By using these conclusions, we also proposed an initial candidate solution generation strategy for a local search for SAT, and the experimental results showed that this strategy effectively improves the performance of the solvers CCAsat and Sparrow2011 when incorporated into these two solvers.